$\forall$$R$:es\_realizer\{i:l\}, ${\it es}$:ES\{i\}. R{-}possible\{i:l\}($R$; ${\it es}$) $\in$ Prop$_{\mbox{\scriptsize i'}}$